- 2 402 202 книги
- Поиск
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering
Автор: Marco Bernardo, Автор: Luca Padovani, Автор: Gianluigi ZavattaroКатегория: Компьютеры
Размер книги: 5.97 Mb
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)
Автор: Alessandro Aldini, Автор: Marco Bernardo, Автор: Alessandra Di Pierro, Автор: Herbert WiklickyКатегория: Компьютеры
Размер книги: 1.53 Mb
Formal Methods for Eternal Networked Software Systems - SFM 2011
Автор: Marco Bernardo, Автор: Valerie Issarny
Размер книги: 11.63 Mb
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings ... Programming and Software Engineering)
Автор: Alessandro Aldini, Автор: Marco Bernardo, Автор: Luciano Bononi, Автор: Vittorio Cortellessa
Размер книги: 4.60 Mb
Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
Автор: Marco Bernardo; Valérie IssarnyКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 9.44 Mb
Formal methods for web services advanced lectures, 9, 2009, Bertinoro
Автор: Marco Bernardo, Автор: Luca Padovani, Автор: Gianluigi Zavattaro
Размер книги: 8.71 Mb
Formal Methods for the Design of Real-Time Systems, SFM-RT 2004
Автор: Marco Bernardo, Автор: Flavio CorradiniКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.31 Mb
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005
Автор: Marco Bernardo, Автор: Alessandro BoglioloКатегория: CsLn_
Размер книги: 2.88 Mb
Formal Methods for Performance Evaluation, 7 school, SFM 2007
Автор: Marco Bernardo, Автор: Jane HillstonКатегория: CsLn_
Размер книги: 4.81 Mb
Formal Methods for Software Architectures, 3 school, SFM 2003
Автор: Marco Bernardo, Автор: Paola InverardiКатегория: CsLn_
Размер книги: 3.72 Mb
A Process Algebraic Approach to Software Architecture Design
Автор: Alessandro Aldini, Автор: Marco Bernardo, Автор: Flavio Corradini
Размер книги: 2.60 Mb
A Process Algebraic Approach to Software Architecture Design
Автор: Alessandro Aldini, Автор: Marco Bernardo, Автор: Flavio Corradini
Размер книги: 2.49 Mb
